Перевод: со всех языков на все языки

со всех языков на все языки

алфавит переменных

См. также в других словарях:

  • алфавит переменных — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN variable alphabet …   Справочник технического переводчика

  • Греческий алфавит — Тип: консонантно вокалическое письмо Языки: греческий …   Википедия

  • ПОСТА КАНОНИЧЕСКАЯ СИСТЕМА — исчисление Поста, способ задания перечислимых множеств слов. Понятие П. к. с., предложенное Э. Постом (Е. Post) в 1943, было первым общим понятием исчисления, пригодным для задания произвольных перечислимых множеств и не привязанным к логич.… …   Математическая энциклопедия

  • ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …   Философская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …   Философская энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • логика предикатов —         ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… …   Энциклопедия эпистемологии и философии науки

  • Греческая азбука — Греческий алфавит Тип: консонантно вокалическое Языки: греческий Дата создания: около VIII века до н.э. Период: до настоящего времени …   Википедия

  • Греческое письмо — Греческий алфавит Тип: консонантно вокалическое Языки: греческий Дата создания: около VIII века до н.э. Период: до настоящего времени …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»